From Pro ess Algebra to Visual Language

Pro ess Algebra with Five - Valued

Implementing a Real - Time Pro ess Algebra

Hilbert modules over pro-C*-algebras

In this paper, we generalize some results from Hilbert C*-modules to pro-C*-algebra case. We also give a new proof of the known result that l2(A) is aHilbert module over a pro-C*-algebra A.

The Regular Viewpoint on PA - Pro esses

To appear in Theoretical Computer Science The Regular Viewpoint on PA-Pro esses D. Lugiez Lab. d'Informatique de Marseille, Univ. Aix-Marseille & CNRS URA 1787, 39, r. Joliot-Curie, 13453 Marseille Cedex 13, FRANCE and Ph. S hnoebelen Lab. Spe i ation and Veri ation, ENS de Ca han & CNRS UMR 8643, 61 av. Pdt Wilson, 94235 Ca han Cedex, FRANCE Abstra t PA is the pro ess algebra allowing non-dete...

Some Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras

In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...